منابع مشابه
Use Case from the ODP Viewpoint
Discussion of use cases and UML often focuses on the UML use case diagram. Use case diagrams are contrasted (usually unfavorably) with text use cases. But specification of use cases with UML is not limited to the use case diagram. In fact UML 2 includes a variety of expressive techniques for specifying a use case. This article looks at UML use cases from the ODP viewpoint, and describes UML use...
متن کاملSpecifying the ODP Information Viewpoint using Maude
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibility of using Maude as a formal notation for writing and reasoning about RM-ODP information specifications.
متن کاملFrom ODP viewpoint consistency to Integrated Formal Methods
Questions asked by research into ODP Viewpoint Consistency led to fundamental questions in refinement and contributed greatly to insights and interest in Integrated Formal Methods; research in those areas is still ongoing, while the answers provided remain largely unincorporated into model driven development. In this paper we survey some of the work done on consistency checking for multiple vie...
متن کاملViewpoint consistency in ODP a general interpretation
Multiple viewpoints are used in Open Distributed Processing ODP in order to de compose the complexity inherent in specifying distributed systems Multiple viewpoints prompt the issue of consistency between viewpoints The ODP reference model alludes to three di erent interpretations of consistency This paper responds to this uncertainty by proposing a single all embracing interpretation of consis...
متن کاملthe effect of traffic density on the accident externality from driving the case study of tehran
در این پژوهش به بررسی اثر افزایش ترافیک بر روی تعداد تصادفات پرداخته شده است. به این منظور 30 تقاطع در شهر تهران بطور تصادفی انتخاب گردید و تعداد تصادفات ماهیانه در این تقاطعات در طول سالهای 89-90 از سازمان کنترل ترافیک شهر تهران استخراج گردید و با استفاده از مدل داده های تابلویی و نرم افزار eviews مدل خطی و درجه دوم تخمین زده شد و در نهایت این نتیجه حاصل شد که تقاطعات پر ترافیک تر تعداد تصادفا...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2005
ISSN: 1660-1769
DOI: 10.5381/jot.2005.4.6.a9